(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const v9 Bool)
(declare-const v10 Bool)
(declare-const v11 Bool)
(declare-const _11-0 (_ BitVec 11))
(assert (xor v11 v7 v8 v8 v11 v8 v11 v8 v0 v10 v5))
(assert v5)
(check-sat)
(check-sat)
